Lightweight Consistency Checking for Agile Model-Based Development in Practice.
نویسندگان
چکیده
منابع مشابه
Lightweight Checking for UML Based Software Development
This paper describes the application of xlinkit, a generic tool for managing the consistency of distributed documents, to consistency checking in the context of UML modelling and software development. In particular, we report how we have developed an application of xlinkit to the UML Core package Well-Formedness Rules [9]. We first give an overview of how xlinkit works. We then expand on the sp...
متن کاملAutomated Architecture Consistency Checking for Model Driven Software Development
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is good software engineering practice to check the implementation against the architectural description for consistency. In this work we check software developed by a Model Driven Software Development (MDSD) process. This...
متن کاملChecking UML Model Consistency
UML is nowadays a de-facto standard for design and development of (object-oriented) software. With version 2.0 UML has achieved a more precise formal semantics. The same happened to OCL, a specification language which is an integral part of UML that allows to embed software contracts in the model. In this work we propose an approach for a static verification of consistency of UML models which r...
متن کاملAgile Software Development in Practice
This chapter explores agile information practices of information systems development and argues that their history is much longer than what is generally believed today. We take an interpretive and critical view of the phenomenon. We made an empirical study of two companies that apply an XP-style development approach throughout the information systems development life cycle. The results of our r...
متن کاملA Tool Based on DL for UML Model Consistency Checking
Automated consistency checking of UML models becomes necessary as models grow in size and complexity. Since the UML metamodel does not enforce model consistency, there are no fixed guidelines on how to approach the consistency problem. Current solutions are generally partial. The translation of the metamodel and the user designed model into Description Logics has proved to provide a solution in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2019
ISSN: 1660-1769
DOI: 10.5381/jot.2019.18.2.a11